//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_BSP_INIT_H__
#define __ELASTOS_BSP_INIT_H__

#include <bootinfo.h>

EXTERN_C DECL_CODEINIT void     CDECL WriteFlash(BootInfo *pBootInfo);

EXTERN_C DECL_CODEINIT bool_t   CDECL InitConsole();

EXTERN_C DECL_CODEINIT void     CDECL InitBootModules();

EXTERN_C DECL_CODEINIT void     CDECL InitPIC();

EXTERN_C DECL_CODEINIT void     CDECL InitPIT();

EXTERN_C DECL_CODEINIT void     CDECL InitMemoryZones();

//EXTERN_C DECL_CODEINIT void     CDECL WriteFlash(BootInfo *pBootInfo);

#endif // __ELASTOS_BSP_INIT_H__
